逻辑和面向对象范例集成的研究与实现

提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Ｈｅｒｂｒａｎｄ解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。     

树网结构上一种新的矩阵迭代求逆并行算法

运用树网结构可以完成矩阵的并行快速求逆,其中迭代法是一种非常重要的方法。本文给出了一种新的迭代格式,对任意非奇异矩阵Ａ,运用新的迭代格式对Ａ求逆相对于经典牛顿迭代法,在同样精度要求下,时间可减少一半。     

在线测量精密机床和加工工件直线度的新方法——优化误差分离法（OEST)

目前,运用多传感器对工件和精密机床的直线度进行在线测量的方法有ＳＴＰ法、ＳＴＲＰ法和ＦＳＴＰ法等。由于受到传感器相邻间隔距离的限制,这些方法往往只适合于长工件的在线测量。本文推荐的新方法──优化误差分离法（ＯＥＳＴ）可以用于短工件中的测量,它是基于频域分析和时域优化搜索的原理,可以克服频域变换中出现的边缘失效问题以保证频域变换的正确性。本文还介绍了计算机仿真和实际测量实验的结果,并验证了该方法的可行性和正确性。     

舰炮武器系统的基线修正分析

本文建立了基线修正误差分析的数学模型,并对舰炮火控系统中应用的传统的近似基线修正方法进行了深入的分析。通过分析,作者指出：在现代中、小口径舰炮火控系统中,不能再沿用传统的近似基线修正方法,必须进行精确的基线修正。     

时序脉冲发生器工程实现方法及特点

本文介绍了采用触发器、移位寄存器、计数器与译码器、脉冲分配器、接口电路与译码器等实现时序脉冲发生器的方法及特点,具有广泛的实用性及通用性。     

基于深浅知识的混合诊断模型

针对大型电子设备的诊断问题,提出一种基于深、浅知识的混合诊断模型,给出了诊断知识的组织模型,论述了混合诊断模型的建立,并给出了完整的推理控制算法。基于这种模型,研制了ＰＬＴＳ平台罗经自动测试系统．     

高速水射流倒空弹体装药安全性研究

本文阐述了高速水射流倒空弹体装药的机理,建立了确定水射流引爆炸药的临界速度的模拟实验方法和模型,进行了高速水射流冲击炸药的安全性试验,并对试验结果进行了分析,证明在工作泵压下高速水射流倒空弹体装药安全、可靠。     

YN／变压器负序电流和谐波电流的分析

考虑二相负荷大小、功率因数变化,分析了ＹＮ／联结平衡变压器用于铁道牵引电站时一次侧的负序和谐波电流的变化规律。通过与ＹＮ／△接线变压器比较,说明ＹＮ／联结平衡变压器在减小电网负序和谐波电流方面具有很大优势。在牵引电站中使用该变压器能显著地提高牵引供电系统的技术和经济性能。     

援潜救生缆控水下机器人两型机械手研制的若干技术问题

本文介绍了我国自行研制的水下６００米援潜救生兼顾海洋油气开发作业的缆控水下机器人的两型机械手的主要技术性能、特点。笔者还针对水下机器人的工作环境及作业特点,重点阐述了两型水下机械手设计、研制中的若干技术问题,并对水下机械手的设计观点和方法作了一些新的探索和尝试。     

利用灰色理论与时间序列探讨我国物价指数的发展变化

本文根据装备建设的需要,对物价指数的变化进行了研究,首先依据原始数据利用灰色理论建立预测模型,在分析模型精度基础上,提出了灰色时间序列模型,使模型精度得到提高。并根据我国物价指数变化的特点,进一步建立了上包络线模型．使本文更具实际意义。